|
A expressão de busca foi <related:sid.inpe.br/mtc-m21b/2014/11.18.23.57.54-0:en:title:2:uml diagrams behavioral formal:formal verification tool uml behavioral diagrams:>.
8 referências similares encontradas (inclusive a original) buscando em 17 dentre 17 Arquivos. Data e hora local de busca: 27/04/2024 18:21. |
| Santos, L. B. R.; Eras, E. R.; Santiago Jr., V. A.; Vijaykumar, N. L. Artigo em Revista Científica - Qualis: 10.0 - 2014 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 1.00 | |
| Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L. Artigo em Evento - sem Qualis - 2013 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.59 | |
| Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L. Artigo em Evento - sem Qualis - 2014 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.38 | |
| Santos, L. B. R.; Santiago Júnior, V. A.; Vijaykumar, N. L. Artigo em Revista Científica - Qualis: 1.4 - 2014 - Acesso restrito - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.32 | |
| Eras, E. R.; Vijaykumar, N. L. Artigo em Evento - sem Qualis - 2014 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.30 | |
| Eras, E. R.; Vijaykumar, N. L. Relatório - sem Qualis - 2014 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.30 | |
| Eras, E. R.; Vijaykumar, N. L. Artigo em Evento - sem Qualis - 2013 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.30 | |
| Eras, E. R.; Vijaykumar, N. L. Relatório - sem Qualis - 2013 - Como citar? - BibTeX - acessar - Atualizar - Similaridade: 0.30 | |